Ocr Mei Core 4 1.16 Proving One More Trigonometric Identity